#!/bin/bash

cat ./specs/{1,10005,20017,30000,40108,50006,60346,70222,80012,91696,100065,110017,120000,130009,140019,150000,160095,170115,180
002,190001,201863} | sed 's/###byeX012: DO NOT DELETE THIS LINE//'> texlive_new.spec
